#ifndef _OS_TASKM_H
#define _OS_TASKM_H

/*======================== INCLUDES ===============================*/
#include "stdint.h"
#include "common_cfg.h"
#include __MCU_DERIVATIVE
#include "os_types.h"
/*========================  DEFINES ===============================*/

/*========================  MACROS  ===============================*/
/*======================== TYPEDEFS ===============================*/
/*========================  EXTERN ================================*/

extern OS_TaskControlBlockType * __far OS_TaskControlBlock;

extern OS_QueueType *  __far OS_Queue;

extern OS_TaskType ActualTaskID;
/*======================= FUNCTIONS ===============================*/

OS_StatusType TerminateTask(void);

OS_StatusType ActivateTask(OS_TaskType taskID);

OS_StatusType GetTaskID(OS_TaskRefType taskIDRef);

OS_StatusType GetTaskState(OS_TaskType taskID, OS_TaskStateRefType stateRef );

#endif /* _OS_TASK_H*/